Weak majorization and doubly substochastic operators on ℓp(I)

On Nonlinear Preservers of Weak Matrix Majorization

Revisiting Weak Simulation for Substochastic Markov Chains

The spectrum of branching-time relations for probabilistic systems has been investigated thoroughly by Baier, Hermanns, Katoen and Wolf (2003, 2005), including weak simulation for systems involving substochastic distributions. Weak simulation was proven to be sound w. r. t. the liveness fragment of the logic PCTL\X , and its completeness was conjectured. We revisit this result and show that sou...

Weak matrix majorization

Given X, Y ∈ Rn×m we introduce the following notion of matrix majorization, called weak matrix majorization, X w Y if there exists a row-stochastic matrix A ∈ Rn×n such that AX = Y, and consider the relations between this concept, strong majorization ( s ) and directional majorization ( ). It is verified that s⇒ ⇒ w , but none of the reciprocal implications is true. Nevertheless, we study the i...

Weak k-majorization and polyhedra

For integers k and n with k ≤ n a vector x ∈ R is said to be weakly k-majorized by a vector q ∈ R if the sum of the r largest components of x does not exceed the sum of the r largest components of q, for r = 1, . . . , k. For a given q the set of vectors weakly k-majorized by q defines a polyhedron P (q; k). We determine the vertices of both P (q; k) and its integer hull Q(q; k). Furthermore a ...

on nonlinear preservers of weak matrix majorization